/*
 * CDDL HEADER START
 *
 * The contents of this file are subject to the terms of the
 * Common Development and Distribution License (the "License").
 * You may not use this file except in compliance with the License.
 *
 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
 * or http://www.opensolaris.org/os/licensing.
 * See the License for the specific language governing permissions
 * and limitations under the License.
 *
 * When distributing Covered Code, include this CDDL HEADER in each
 * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
 * If applicable, add the following below this CDDL HEADER, with the
 * fields enclosed by brackets "[]" replaced with your own identifying
 * information: Portions Copyright [yyyy] [name of copyright owner]
 *
 * CDDL HEADER END
 */

/*
 * Copyright 2008 Sun Microsystems, Inc.  All rights reserved.
 * Use is subject to license terms.
 */

#include "lint.h"
#include <sys/types.h>

/* table of 6 multiples of 2**2816 */
const unsigned short __tbl_2_huge_digits [] = { 1,
/* 2**2816 = */
3536 /* e   0 */, 1683 /* e   4 */, 7828 /* e   8 */, 3713 /* e  12 */,
8302 /* e  16 */, 4040 /* e  20 */, 1525 /* e  24 */, 6128 /* e  28 */,
3247 /* e  32 */, 8412 /* e  36 */, 1354 /* e  40 */, 7137 /* e  44 */,
488 /* e  48 */, 3415 /* e  52 */, 8366 /* e  56 */, 2888 /* e  60 */,
435 /* e  64 */,   67 /* e  68 */, 4244 /* e  72 */, 9444 /* e  76 */,
3909 /* e  80 */, 1960 /* e  84 */, 9722 /* e  88 */, 6917 /* e  92 */,
7465 /* e  96 */, 5103 /* e 100 */, 5036 /* e 104 */, 4100 /* e 108 */,
8604 /* e 112 */, 3394 /* e 116 */,  724 /* e 120 */, 7061 /* e 124 */,
299 /* e 128 */, 2619 /* e 132 */, 1891 /* e 136 */, 9722 /* e 140 */,
9046 /* e 144 */, 5921 /* e 148 */, 9555 /* e 152 */, 9491 /* e 156 */,
4354 /* e 160 */, 9051 /* e 164 */, 9987 /* e 168 */, 6398 /* e 172 */,
8031 /* e 176 */, 8846 /* e 180 */, 6553 /* e 184 */, 4612 /* e 188 */,
6758 /* e 192 */, 5053 /* e 196 */, 7887 /* e 200 */, 7067 /* e 204 */,
1248 /* e 208 */, 8739 /* e 212 */, 5265 /* e 216 */, 3455 /* e 220 */,
6697 /* e 224 */, 3866 /* e 228 */, 9825 /* e 232 */, 5993 /* e 236 */,
6640 /* e 240 */, 5966 /* e 244 */, 2971 /* e 248 */, 4531 /* e 252 */,
284 /* e 256 */, 8060 /* e 260 */,  244 /* e 264 */, 5281 /* e 268 */,
7874 /* e 272 */, 2770 /* e 276 */, 3800 /* e 280 */,  847 /* e 284 */,
9791 /* e 288 */, 4078 /* e 292 */,  201 /* e 296 */, 3118 /* e 300 */,
6744 /* e 304 */, 9222 /* e 308 */,  619 /* e 312 */, 8564 /* e 316 */,
7653 /* e 320 */,  815 /* e 324 */, 8400 /* e 328 */, 5518 /* e 332 */,
4708 /* e 336 */, 8936 /* e 340 */, 6965 /* e 344 */,  859 /* e 348 */,
190 /* e 352 */, 9092 /* e 356 */, 1985 /* e 360 */, 4080 /* e 364 */,
7393 /* e 368 */, 9453 /* e 372 */, 7288 /* e 376 */, 4553 /* e 380 */,
7790 /* e 384 */, 5429 /* e 388 */, 7229 /* e 392 */, 4134 /* e 396 */,
3027 /* e 400 */,  341 /* e 404 */, 3123 /* e 408 */, 7147 /* e 412 */,
9240 /* e 416 */, 4345 /* e 420 */, 8495 /* e 424 */, 4736 /* e 428 */,
1582 /* e 432 */,   26 /* e 436 */, 3519 /* e 440 */, 7907 /* e 444 */,
1443 /* e 448 */, 5166 /* e 452 */, 7149 /* e 456 */, 4156 /* e 460 */,
410 /* e 464 */, 5693 /* e 468 */, 4930 /* e 472 */, 7778 /* e 476 */,
5531 /* e 480 */, 9083 /* e 484 */, 2412 /* e 488 */, 1383 /* e 492 */,
2982 /* e 496 */, 2953 /* e 500 */, 2318 /* e 504 */, 4813 /* e 508 */,
2483 /* e 512 */, 1682 /* e 516 */,  331 /* e 520 */, 5562 /* e 524 */,
5368 /* e 528 */, 5453 /* e 532 */,  249 /* e 536 */, 3139 /* e 540 */,
3307 /* e 544 */, 8974 /* e 548 */, 2368 /* e 552 */, 6001 /* e 556 */,
3051 /* e 560 */, 4608 /* e 564 */,  119 /* e 568 */, 5889 /* e 572 */,
1678 /* e 576 */, 8451 /* e 580 */, 4807 /* e 584 */, 2991 /* e 588 */,
6659 /* e 592 */, 3797 /* e 596 */, 7908 /* e 600 */, 2288 /* e 604 */,
1417 /* e 608 */, 9696 /* e 612 */, 9044 /* e 616 */, 8737 /* e 620 */,
433 /* e 624 */, 9934 /* e 628 */, 1780 /* e 632 */, 6909 /* e 636 */,
3017 /* e 640 */, 8911 /* e 644 */, 6028 /* e 648 */, 1166 /* e 652 */,
4034 /* e 656 */, 4223 /* e 660 */, 1046 /* e 664 */, 3190 /* e 668 */,
7967 /* e 672 */, 3701 /* e 676 */, 2824 /* e 680 */, 7203 /* e 684 */,
3025 /* e 688 */, 3022 /* e 692 */, 9122 /* e 696 */,  707 /* e 700 */,
7910 /* e 704 */, 3306 /* e 708 */, 2583 /* e 712 */, 2978 /* e 716 */,
9344 /* e 720 */,  900 /* e 724 */,  772 /* e 728 */, 3042 /* e 732 */,
2674 /* e 736 */, 1277 /* e 740 */, 7526 /* e 744 */, 7518 /* e 748 */,
6408 /* e 752 */,  450 /* e 756 */, 8196 /* e 760 */, 3103 /* e 764 */,
7791 /* e 768 */, 3672 /* e 772 */, 5408 /* e 776 */, 7843 /* e 780 */,
5189 /* e 784 */, 7523 /* e 788 */, 4056 /* e 792 */, 2575 /* e 796 */,
9840 /* e 800 */, 5009 /* e 804 */, 8572 /* e 808 */, 8503 /* e 812 */,
5027 /* e 816 */, 6868 /* e 820 */,  109 /* e 824 */, 3476 /* e 828 */,
219 /* e 832 */, 6147 /* e 836 */, 2736 /* e 840 */, 5017 /* e 844 */,

/* 2**5632 =  */
3296 /* e   0 */, 3426 /* e   4 */, 3295 /* e   8 */, 3203 /* e  12 */,
2547 /* e  16 */, 9389 /* e  20 */, 7386 /* e  24 */, 8073 /* e  28 */,
6614 /* e  32 */,  484 /* e  36 */, 9018 /* e  40 */, 9823 /* e  44 */,
5559 /* e  48 */, 5864 /* e  52 */, 8462 /* e  56 */, 4843 /* e  60 */,
5166 /* e  64 */, 9450 /* e  68 */, 8388 /* e  72 */, 5571 /* e  76 */,
6800 /* e  80 */, 8444 /* e  84 */,  853 /* e  88 */, 6313 /* e  92 */,
8561 /* e  96 */, 6611 /* e 100 */, 6953 /* e 104 */, 5544 /* e 108 */,
1000 /* e 112 */, 3566 /* e 116 */, 1388 /* e 120 */, 6341 /* e 124 */,
9360 /* e 128 */, 2675 /* e 132 */, 9064 /* e 136 */, 9281 /* e 140 */,
3688 /* e 144 */, 1621 /* e 148 */, 1992 /* e 152 */, 3276 /* e 156 */,
3238 /* e 160 */, 6133 /* e 164 */, 2364 /* e 168 */, 3047 /* e 172 */,
1389 /* e 176 */, 4717 /* e 180 */, 1217 /* e 184 */, 7465 /* e 188 */,
657 /* e 192 */, 8131 /* e 196 */, 3767 /* e 200 */, 8183 /* e 204 */,
2014 /* e 208 */, 1553 /* e 212 */, 4842 /* e 216 */, 5701 /* e 220 */,
2142 /* e 224 */, 1950 /* e 228 */, 2809 /* e 232 */,   51 /* e 236 */,
8498 /* e 240 */, 4177 /* e 244 */, 9656 /* e 248 */, 5726 /* e 252 */,
901 /* e 256 */, 6778 /* e 260 */, 5940 /* e 264 */, 7698 /* e 268 */,
2650 /* e 272 */, 3415 /* e 276 */, 7695 /* e 280 */, 2741 /* e 284 */,
8167 /* e 288 */,  570 /* e 292 */, 9630 /* e 296 */, 4028 /* e 300 */,
1949 /* e 304 */, 1605 /* e 308 */, 6368 /* e 312 */, 9947 /* e 316 */,
4612 /* e 320 */, 6376 /* e 324 */, 8290 /* e 328 */, 5452 /* e 332 */,
134 /* e 336 */, 8625 /* e 340 */, 9502 /* e 344 */, 9987 /* e 348 */,
8914 /* e 352 */, 5544 /* e 356 */, 8899 /* e 360 */, 5319 /* e 364 */,
3436 /* e 368 */, 5168 /* e 372 */, 2131 /* e 376 */, 3406 /* e 380 */,
7928 /* e 384 */, 6830 /* e 388 */, 7273 /* e 392 */,  229 /* e 396 */,
3726 /* e 400 */,  456 /* e 404 */,  432 /* e 408 */, 9462 /* e 412 */,
9017 /* e 416 */, 9301 /* e 420 */, 3210 /* e 424 */, 9805 /* e 428 */,
5491 /* e 432 */, 9089 /* e 436 */, 1857 /* e 440 */, 8523 /* e 444 */,
8681 /* e 448 */, 9233 /* e 452 */, 5387 /* e 456 */, 5228 /* e 460 */,
8213 /* e 464 */, 3776 /* e 468 */, 2351 /* e 472 */, 8791 /* e 476 */,
7346 /* e 480 */, 7992 /* e 484 */, 7080 /* e 488 */,   31 /* e 492 */,
1050 /* e 496 */, 1787 /* e 500 */, 5765 /* e 504 */, 4391 /* e 508 */,
8652 /* e 512 */, 7925 /* e 516 */, 4201 /* e 520 */,  308 /* e 524 */,
5345 /* e 528 */,  237 /* e 532 */, 5621 /* e 536 */, 1610 /* e 540 */,
9551 /* e 544 */, 2652 /* e 548 */,  128 /* e 552 */, 2096 /* e 556 */,
291 /* e 560 */, 8130 /* e 564 */, 4475 /* e 568 */, 6607 /* e 572 */,
1411 /* e 576 */,  280 /* e 580 */, 2326 /* e 584 */, 4272 /* e 588 */,
2136 /* e 592 */, 7819 /* e 596 */, 9901 /* e 600 */, 7169 /* e 604 */,
275 /* e 608 */, 2749 /* e 612 */, 5358 /* e 616 */,  466 /* e 620 */,
4049 /* e 624 */, 6398 /* e 628 */,  263 /* e 632 */, 2399 /* e 636 */,
1461 /* e 640 */, 8479 /* e 644 */, 3810 /* e 648 */, 4086 /* e 652 */,
5426 /* e 656 */, 1517 /* e 660 */, 8443 /* e 664 */, 5612 /* e 668 */,
7989 /* e 672 */, 1740 /* e 676 */, 6690 /* e 680 */, 5584 /* e 684 */,
6686 /* e 688 */, 2419 /* e 692 */, 2490 /* e 696 */, 8808 /* e 700 */,
1947 /* e 704 */, 3432 /* e 708 */, 4101 /* e 712 */, 9573 /* e 716 */,
1824 /* e 720 */, 2364 /* e 724 */, 3095 /* e 728 */, 3396 /* e 732 */,
927 /* e 736 */,  140 /* e 740 */, 3080 /* e 744 */, 8672 /* e 748 */,
5632 /* e 752 */, 5876 /* e 756 */, 1936 /* e 760 */, 9670 /* e 764 */,
9179 /* e 768 */, 8414 /* e 772 */, 4551 /* e 776 */, 7679 /* e 780 */,
5457 /* e 784 */, 2834 /* e 788 */, 4335 /* e 792 */, 9056 /* e 796 */,
5568 /* e 800 */, 5267 /* e 804 */, 8337 /* e 808 */, 6883 /* e 812 */,
9908 /* e 816 */,  444 /* e 820 */, 1095 /* e 824 */, 7470 /* e 828 */,
4558 /* e 832 */,  792 /* e 836 */, 1277 /* e 840 */, 6737 /* e 844 */,
343 /* e 848 */, 2750 /* e 852 */, 3762 /* e 856 */,  650 /* e 860 */,
414 /* e 864 */, 3225 /* e 868 */, 8399 /* e 872 */, 1172 /* e 876 */,
2095 /* e 880 */, 9257 /* e 884 */,  155 /* e 888 */, 7947 /* e 892 */,
4019 /* e 896 */, 8262 /* e 900 */, 8884 /* e 904 */, 4805 /* e 908 */,
804 /* e 912 */, 6865 /* e 916 */, 6444 /* e 920 */, 7634 /* e 924 */,
5510 /* e 928 */, 9276 /* e 932 */, 3026 /* e 936 */, 2890 /* e 940 */,
1740 /* e 944 */, 4598 /* e 948 */,  876 /* e 952 */, 6495 /* e 956 */,
9809 /* e 960 */, 5124 /* e 964 */, 9045 /* e 968 */, 4780 /* e 972 */,
3921 /* e 976 */, 1908 /* e 980 */, 9444 /* e 984 */, 8288 /* e 988 */,
5399 /* e 992 */, 4190 /* e 996 */, 7715 /* e1000 */, 8448 /* e1004 */,
8262 /* e1008 */, 3737 /* e1012 */,  189 /* e1016 */, 1432 /* e1020 */,
8782 /* e1024 */,  333 /* e1028 */, 9267 /* e1032 */, 4005 /* e1036 */,
7356 /* e1040 */, 6817 /* e1044 */, 2653 /* e1048 */,  279 /* e1052 */,
1857 /* e1056 */, 5537 /* e1060 */,  770 /* e1064 */, 9149 /* e1068 */,
9690 /* e1072 */, 6731 /* e1076 */, 8641 /* e1080 */, 9227 /* e1084 */,
9892 /* e1088 */, 3172 /* e1092 */, 2918 /* e1096 */, 3972 /* e1100 */,
769 /* e1104 */, 8383 /* e1108 */, 2504 /* e1112 */, 8460 /* e1116 */,
7186 /* e1120 */, 6868 /* e1124 */, 2523 /* e1128 */, 9609 /* e1132 */,
1086 /* e1136 */, 2971 /* e1140 */, 8518 /* e1144 */, 8812 /* e1148 */,
5612 /* e1152 */, 5742 /* e1156 */, 6945 /* e1160 */, 4733 /* e1164 */,
6582 /* e1168 */, 3498 /* e1172 */, 3739 /* e1176 */, 7285 /* e1180 */,
4295 /* e1184 */, 5501 /* e1188 */, 5786 /* e1192 */, 3421 /* e1196 */,
1777 /* e1200 */, 9934 /* e1204 */, 4257 /* e1208 */, 3275 /* e1212 */,
1322 /* e1216 */, 9557 /* e1220 */, 1782 /* e1224 */, 4993 /* e1228 */,
7791 /* e1232 */, 5640 /* e1236 */, 5829 /* e1240 */, 2443 /* e1244 */,
3988 /* e1248 */, 4397 /* e1252 */, 3967 /* e1256 */, 8901 /* e1260 */,
9844 /* e1264 */, 6386 /* e1268 */, 7574 /* e1272 */,  179 /* e1276 */,
7510 /* e1280 */, 5049 /* e1284 */, 9032 /* e1288 */, 8938 /* e1292 */,
8393 /* e1296 */, 1003 /* e1300 */, 5702 /* e1304 */, 5963 /* e1308 */,
3529 /* e1312 */, 8085 /* e1316 */, 8909 /* e1320 */, 6024 /* e1324 */,
6444 /* e1328 */,  459 /* e1332 */, 4446 /* e1336 */, 3542 /* e1340 */,
7126 /* e1344 */, 5155 /* e1348 */, 3442 /* e1352 */, 2662 /* e1356 */,
8849 /* e1360 */, 7529 /* e1364 */, 9165 /* e1368 */, 1946 /* e1372 */,
6635 /* e1376 */, 3834 /* e1380 */, 2955 /* e1384 */, 9001 /* e1388 */,
8220 /* e1392 */, 7653 /* e1396 */, 1052 /* e1400 */, 2996 /* e1404 */,
9979 /* e1408 */, 2554 /* e1412 */, 6959 /* e1416 */, 5987 /* e1420 */,
2314 /* e1424 */, 8546 /* e1428 */, 4464 /* e1432 */, 3568 /* e1436 */,
8876 /* e1440 */, 5881 /* e1444 */, 9387 /* e1448 */, 8672 /* e1452 */,
5278 /* e1456 */, 4624 /* e1460 */, 3806 /* e1464 */, 2517 /* e1468 */,
3995 /* e1472 */,  173 /* e1476 */,  592 /* e1480 */, 6610 /* e1484 */,
9979 /* e1488 */,  116 /* e1492 */, 6562 /* e1496 */, 5559 /* e1500 */,
995 /* e1504 */, 2674 /* e1508 */, 6406 /* e1512 */, 7181 /* e1516 */,
5094 /* e1520 */, 6250 /* e1524 */, 8883 /* e1528 */, 4966 /* e1532 */,
6648 /* e1536 */, 6884 /* e1540 */, 8622 /* e1544 */, 9707 /* e1548 */,
2176 /* e1552 */, 1069 /* e1556 */, 9678 /* e1560 */, 1455 /* e1564 */,
5845 /* e1568 */, 8374 /* e1572 */, 3135 /* e1576 */, 2056 /* e1580 */,
4385 /* e1584 */, 1846 /* e1588 */, 4311 /* e1592 */, 2996 /* e1596 */,
5603 /* e1600 */, 6731 /* e1604 */, 7765 /* e1608 */, 4676 /* e1612 */,
4027 /* e1616 */, 7361 /* e1620 */, 1638 /* e1624 */, 3266 /* e1628 */,
8085 /* e1632 */, 3520 /* e1636 */, 6226 /* e1640 */, 2460 /* e1644 */,
9387 /* e1648 */, 2922 /* e1652 */, 2169 /* e1656 */, 6089 /* e1660 */,
955 /* e1664 */, 7994 /* e1668 */, 4442 /* e1672 */, 1216 /* e1676 */,
8278 /* e1680 */, 9940 /* e1684 */, 3034 /* e1688 */, 2517 /* e1692 */,

/* 2**8448 =  */
4656 /* e   0 */, 2669 /* e   4 */, 9932 /* e   8 */, 2390 /* e  12 */,
9824 /* e  16 */,   43 /* e  20 */, 3424 /* e  24 */, 8511 /* e  28 */,
8683 /* e  32 */, 6362 /* e  36 */,  677 /* e  40 */, 3842 /* e  44 */,
4639 /* e  48 */, 6158 /* e  52 */, 5180 /* e  56 */, 5906 /* e  60 */,
9066 /* e  64 */, 3581 /* e  68 */, 5801 /* e  72 */,  593 /* e  76 */,
4337 /* e  80 */, 2060 /* e  84 */, 2389 /* e  88 */, 4690 /* e  92 */,
3040 /* e  96 */, 7127 /* e 100 */, 3946 /* e 104 */, 4248 /* e 108 */,
7964 /* e 112 */, 8210 /* e 116 */, 9001 /* e 120 */, 3997 /* e 124 */,
8886 /* e 128 */, 9528 /* e 132 */, 9522 /* e 136 */, 1864 /* e 140 */,
2924 /* e 144 */, 8867 /* e 148 */, 3786 /* e 152 */, 7284 /* e 156 */,
8608 /* e 160 */, 3267 /* e 164 */, 1704 /* e 168 */, 3605 /* e 172 */,
1254 /* e 176 */, 4423 /* e 180 */, 9188 /* e 184 */, 2956 /* e 188 */,
9472 /* e 192 */, 6269 /* e 196 */, 8946 /* e 200 */,  307 /* e 204 */,
5965 /* e 208 */, 7958 /* e 212 */, 5281 /* e 216 */, 2324 /* e 220 */,
2430 /* e 224 */, 6162 /* e 228 */,  838 /* e 232 */,  721 /* e 236 */,
8332 /* e 240 */, 2256 /* e 244 */, 8237 /* e 248 */, 2129 /* e 252 */,
8923 /* e 256 */, 5855 /* e 260 */, 4690 /* e 264 */, 4197 /* e 268 */,
1285 /* e 272 */, 3935 /* e 276 */, 1677 /* e 280 */,  593 /* e 284 */,
2784 /* e 288 */, 4404 /* e 292 */, 1923 /* e 296 */, 3153 /* e 300 */,
4041 /* e 304 */, 6730 /* e 308 */, 4324 /* e 312 */, 1448 /* e 316 */,
8765 /* e 320 */, 5011 /* e 324 */, 5843 /* e 328 */, 3719 /* e 332 */,
3511 /* e 336 */,  907 /* e 340 */,   77 /* e 344 */, 6985 /* e 348 */,
7914 /* e 352 */, 2608 /* e 356 */, 7706 /* e 360 */, 8280 /* e 364 */,
5478 /* e 368 */, 4621 /* e 372 */, 8641 /* e 376 */, 1422 /* e 380 */,
811 /* e 384 */, 7224 /* e 388 */, 7779 /* e 392 */, 2977 /* e 396 */,
6910 /* e 400 */, 2156 /* e 404 */, 3040 /* e 408 */, 7135 /* e 412 */,
6829 /* e 416 */, 9088 /* e 420 */, 6414 /* e 424 */,  718 /* e 428 */,
3667 /* e 432 */,  448 /* e 436 */, 6457 /* e 440 */, 2629 /* e 444 */,
5804 /* e 448 */, 7761 /* e 452 */,  603 /* e 456 */,  558 /* e 460 */,
795 /* e 464 */, 3780 /* e 468 */, 3145 /* e 472 */, 7411 /* e 476 */,
3418 /* e 480 */, 3228 /* e 484 */, 4748 /* e 488 */, 1389 /* e 492 */,
8477 /* e 496 */, 4826 /* e 500 */, 2662 /* e 504 */, 7173 /* e 508 */,
1885 /* e 512 */, 2180 /* e 516 */, 2743 /* e 520 */,  114 /* e 524 */,
345 /* e 528 */, 9148 /* e 532 */, 7561 /* e 536 */, 5568 /* e 540 */,
5620 /* e 544 */, 9452 /* e 548 */, 7083 /* e 552 */, 5760 /* e 556 */,
4775 /* e 560 */, 9925 /* e 564 */, 3920 /* e 568 */, 6905 /* e 572 */,
4528 /* e 576 */, 5203 /* e 580 */, 7786 /* e 584 */, 8657 /* e 588 */,
9393 /* e 592 */, 9878 /* e 596 */, 9882 /* e 600 */, 7478 /* e 604 */,
9992 /* e 608 */, 9893 /* e 612 */, 6647 /* e 616 */, 2798 /* e 620 */,
5248 /* e 624 */, 7764 /* e 628 */, 5470 /* e 632 */, 5912 /* e 636 */,
154 /* e 640 */, 6571 /* e 644 */, 5188 /* e 648 */, 6804 /* e 652 */,
2756 /* e 656 */, 4641 /* e 660 */,  665 /* e 664 */, 9112 /* e 668 */,
1589 /* e 672 */, 7254 /* e 676 */, 5073 /* e 680 */, 7980 /* e 684 */,
6429 /* e 688 */, 1797 /* e 692 */, 4016 /* e 696 */, 9710 /* e 700 */,
5434 /* e 704 */, 4862 /* e 708 */, 9245 /* e 712 */, 7417 /* e 716 */,
9679 /* e 720 */, 4331 /* e 724 */, 5156 /* e 728 */, 7899 /* e 732 */,
1325 /* e 736 */, 6037 /* e 740 */, 9925 /* e 744 */, 7256 /* e 748 */,
1717 /* e 752 */, 3608 /* e 756 */, 2632 /* e 760 */,  284 /* e 764 */,
4103 /* e 768 */, 2533 /* e 772 */, 8261 /* e 776 */, 1802 /* e 780 */,
4436 /* e 784 */, 7453 /* e 788 */, 4596 /* e 792 */, 4683 /* e 796 */,
786 /* e 800 */, 1878 /* e 804 */, 5042 /* e 808 */, 2290 /* e 812 */,
1379 /* e 816 */, 4479 /* e 820 */, 6532 /* e 824 */, 8482 /* e 828 */,
7856 /* e 832 */, 2267 /* e 836 */, 3951 /* e 840 */, 4081 /* e 844 */,
3193 /* e 848 */, 8290 /* e 852 */,  774 /* e 856 */, 4268 /* e 860 */,
5242 /* e 864 */, 2599 /* e 868 */, 3255 /* e 872 */, 1314 /* e 876 */,
6430 /* e 880 */, 5054 /* e 884 */, 8898 /* e 888 */, 4791 /* e 892 */,
1615 /* e 896 */, 9619 /* e 900 */, 8447 /* e 904 */,  521 /* e 908 */,
6843 /* e 912 */, 9891 /* e 916 */, 2939 /* e 920 */, 3750 /* e 924 */,
8509 /* e 928 */, 8842 /* e 932 */, 4672 /* e 936 */, 2290 /* e 940 */,
5080 /* e 944 */, 3861 /* e 948 */, 4388 /* e 952 */, 1414 /* e 956 */,
4301 /* e 960 */, 2328 /* e 964 */,  926 /* e 968 */, 4674 /* e 972 */,
3679 /* e 976 */, 6446 /* e 980 */, 9940 /* e 984 */, 6160 /* e 988 */,
530 /* e 992 */, 9640 /* e 996 */, 3522 /* e1000 */,  944 /* e1004 */,
1213 /* e1008 */, 6021 /* e1012 */, 5317 /* e1016 */, 7192 /* e1020 */,
7274 /* e1024 */,  890 /* e1028 */, 5669 /* e1032 */,  512 /* e1036 */,
4048 /* e1040 */, 2871 /* e1044 */, 4428 /* e1048 */, 9476 /* e1052 */,
6021 /* e1056 */, 6085 /* e1060 */,  539 /* e1064 */, 6573 /* e1068 */,
7856 /* e1072 */, 8842 /* e1076 */, 8828 /* e1080 */, 5980 /* e1084 */,
7224 /* e1088 */, 4124 /* e1092 */, 9108 /* e1096 */, 2108 /* e1100 */,
7508 /* e1104 */, 4850 /* e1108 */, 5162 /* e1112 */, 8152 /* e1116 */,
2953 /* e1120 */,  243 /* e1124 */, 4721 /* e1128 */, 2207 /* e1132 */,
6437 /* e1136 */, 5462 /* e1140 */, 3197 /* e1144 */, 9243 /* e1148 */,
8599 /* e1152 */, 9732 /* e1156 */,  216 /* e1160 */, 3798 /* e1164 */,
3911 /* e1168 */, 8635 /* e1172 */, 7322 /* e1176 */, 4840 /* e1180 */,
7688 /* e1184 */, 3938 /* e1188 */,  359 /* e1192 */, 8143 /* e1196 */,
4810 /* e1200 */, 5268 /* e1204 */, 5052 /* e1208 */,  574 /* e1212 */,
3775 /* e1216 */, 8812 /* e1220 */, 1266 /* e1224 */, 2057 /* e1228 */,
9649 /* e1232 */, 2634 /* e1236 */, 3673 /* e1240 */, 8430 /* e1244 */,
382 /* e1248 */, 2237 /* e1252 */, 9016 /* e1256 */, 3445 /* e1260 */,
5542 /* e1264 */, 1887 /* e1268 */, 1575 /* e1272 */, 3539 /* e1276 */,
7479 /* e1280 */, 9343 /* e1284 */, 8870 /* e1288 */, 1150 /* e1292 */,
9608 /* e1296 */, 8798 /* e1300 */, 3666 /* e1304 */, 7739 /* e1308 */,
808 /* e1312 */, 4141 /* e1316 */, 8437 /* e1320 */, 3406 /* e1324 */,
5638 /* e1328 */, 7163 /* e1332 */, 3733 /* e1336 */,  705 /* e1340 */,
4421 /* e1344 */, 6488 /* e1348 */, 8720 /* e1352 */,  572 /* e1356 */,
2917 /* e1360 */, 2066 /* e1364 */, 7078 /* e1368 */, 5215 /* e1372 */,
6206 /* e1376 */, 5031 /* e1380 */, 4033 /* e1384 */,   67 /* e1388 */,
9730 /* e1392 */, 3515 /* e1396 */, 9128 /* e1400 */, 1106 /* e1404 */,
9298 /* e1408 */, 2861 /* e1412 */, 2249 /* e1416 */,  809 /* e1420 */,
8870 /* e1424 */, 2384 /* e1428 */, 3349 /* e1432 */, 1056 /* e1436 */,
5988 /* e1440 */, 5562 /* e1444 */, 3981 /* e1448 */, 1532 /* e1452 */,
3835 /* e1456 */, 4555 /* e1460 */, 2878 /* e1464 */, 3066 /* e1468 */,
8924 /* e1472 */,  898 /* e1476 */,  295 /* e1480 */, 8513 /* e1484 */,
1595 /* e1488 */,  900 /* e1492 */, 6810 /* e1496 */, 1625 /* e1500 */,
7669 /* e1504 */, 3462 /* e1508 */, 6294 /* e1512 */, 8487 /* e1516 */,
1178 /* e1520 */, 7383 /* e1524 */, 9846 /* e1528 */, 2257 /* e1532 */,
9401 /* e1536 */, 5224 /* e1540 */, 2503 /* e1544 */, 9447 /* e1548 */,
4289 /* e1552 */, 2180 /* e1556 */, 6595 /* e1560 */, 5480 /* e1564 */,
2303 /* e1568 */, 6381 /* e1572 */, 5283 /* e1576 */, 9261 /* e1580 */,
8554 /* e1584 */, 9674 /* e1588 */, 3371 /* e1592 */, 1706 /* e1596 */,
5981 /* e1600 */, 2503 /* e1604 */, 9640 /* e1608 */,  245 /* e1612 */,
4860 /* e1616 */, 5142 /* e1620 */, 1798 /* e1624 */, 2481 /* e1628 */,
4200 /* e1632 */, 6164 /* e1636 */, 1751 /* e1640 */,  516 /* e1644 */,
6555 /* e1648 */, 6568 /* e1652 */, 7851 /* e1656 */, 4902 /* e1660 */,
5849 /* e1664 */, 8975 /* e1668 */, 2643 /* e1672 */, 8963 /* e1676 */,
3921 /* e1680 */, 9839 /* e1684 */, 2902 /* e1688 */, 9260 /* e1692 */,
8495 /* e1696 */, 5479 /* e1700 */, 9038 /* e1704 */,  692 /* e1708 */,
2687 /* e1712 */, 1111 /* e1716 */, 1562 /* e1720 */, 2918 /* e1724 */,
9797 /* e1728 */, 3614 /* e1732 */, 1477 /* e1736 */, 7338 /* e1740 */,
8747 /* e1744 */,  559 /* e1748 */, 4769 /* e1752 */, 7394 /* e1756 */,
4672 /* e1760 */, 5692 /* e1764 */, 5384 /* e1768 */, 8194 /* e1772 */,
9631 /* e1776 */, 8149 /* e1780 */,  777 /* e1784 */, 5180 /* e1788 */,
9799 /* e1792 */, 2011 /* e1796 */,  628 /* e1800 */, 2428 /* e1804 */,
3855 /* e1808 */, 5696 /* e1812 */, 3294 /* e1816 */, 9277 /* e1820 */,
997 /* e1824 */,  265 /* e1828 */, 6726 /* e1832 */, 9214 /* e1836 */,
7785 /* e1840 */, 3984 /* e1844 */, 3669 /* e1848 */, 6610 /* e1852 */,
3434 /* e1856 */, 4535 /* e1860 */, 8015 /* e1864 */, 4583 /* e1868 */,
8513 /* e1872 */,  756 /* e1876 */,  965 /* e1880 */, 8021 /* e1884 */,
4493 /* e1888 */, 1591 /* e1892 */, 9871 /* e1896 */,   65 /* e1900 */,
5407 /* e1904 */, 8456 /* e1908 */, 3127 /* e1912 */,  781 /* e1916 */,
5133 /* e1920 */, 6371 /* e1924 */, 5349 /* e1928 */, 3341 /* e1932 */,
5890 /* e1936 */, 9120 /* e1940 */, 9089 /* e1944 */, 6656 /* e1948 */,
8160 /* e1952 */, 8636 /* e1956 */, 2317 /* e1960 */, 3531 /* e1964 */,
5940 /* e1968 */, 7242 /* e1972 */, 8974 /* e1976 */, 9626 /* e1980 */,
5756 /* e1984 */, 5218 /* e1988 */, 1148 /* e1992 */, 3382 /* e1996 */,
2785 /* e2000 */, 5106 /* e2004 */, 7385 /* e2008 */, 5796 /* e2012 */,
1694 /* e2016 */, 4909 /* e2020 */, 6728 /* e2024 */, 3590 /* e2028 */,
2003 /* e2032 */, 4482 /* e2036 */, 4543 /* e2040 */, 3485 /* e2044 */,
7653 /* e2048 */,  708 /* e2052 */, 5759 /* e2056 */, 3137 /* e2060 */,
7344 /* e2064 */,  840 /* e2068 */, 4021 /* e2072 */,  574 /* e2076 */,
2634 /* e2080 */, 4125 /* e2084 */, 9290 /* e2088 */, 8361 /* e2092 */,
5551 /* e2096 */, 2631 /* e2100 */, 3788 /* e2104 */, 2663 /* e2108 */,
9056 /* e2112 */, 7092 /* e2116 */, 2151 /* e2120 */, 1648 /* e2124 */,
1035 /* e2128 */, 2486 /* e2132 */, 9651 /* e2136 */,   74 /* e2140 */,
4733 /* e2144 */, 6755 /* e2148 */, 2620 /* e2152 */, 2149 /* e2156 */,
6173 /* e2160 */, 8939 /* e2164 */, 6174 /* e2168 */, 1089 /* e2172 */,
7479 /* e2176 */, 6954 /* e2180 */, 7814 /* e2184 */, 8763 /* e2188 */,
1597 /* e2192 */, 7911 /* e2196 */, 8582 /* e2200 */, 2761 /* e2204 */,
2549 /* e2208 */, 8174 /* e2212 */, 4981 /* e2216 */,  733 /* e2220 */,
7759 /* e2224 */, 7663 /* e2228 */, 2362 /* e2232 */, 2722 /* e2236 */,
6846 /* e2240 */, 8283 /* e2244 */, 8542 /* e2248 */, 1175 /* e2252 */,
4748 /* e2256 */, 6016 /* e2260 */, 9819 /* e2264 */, 7846 /* e2268 */,
1907 /* e2272 */, 6233 /* e2276 */,  993 /* e2280 */, 8212 /* e2284 */,
3651 /* e2288 */, 9192 /* e2292 */, 2572 /* e2296 */, 5541 /* e2300 */,
5864 /* e2304 */, 6448 /* e2308 */,  352 /* e2312 */, 7842 /* e2316 */,
9417 /* e2320 */,  644 /* e2324 */, 6651 /* e2328 */, 9831 /* e2332 */,
443 /* e2336 */, 7438 /* e2340 */, 1652 /* e2344 */, 9135 /* e2348 */,
5848 /* e2352 */, 8723 /* e2356 */, 4647 /* e2360 */, 7898 /* e2364 */,
2757 /* e2368 */, 4168 /* e2372 */,  443 /* e2376 */, 9783 /* e2380 */,
7214 /* e2384 */, 7738 /* e2388 */, 9369 /* e2392 */, 6824 /* e2396 */,
829 /* e2400 */, 1638 /* e2404 */, 8128 /* e2408 */, 4131 /* e2412 */,
7873 /* e2416 */, 9965 /* e2420 */,  862 /* e2424 */, 3790 /* e2428 */,
4783 /* e2432 */, 1057 /* e2436 */, 8500 /* e2440 */, 7927 /* e2444 */,
3204 /* e2448 */, 7359 /* e2452 */, 3439 /* e2456 */, 7717 /* e2460 */,
8715 /* e2464 */, 7686 /* e2468 */, 3960 /* e2472 */, 4546 /* e2476 */,
5531 /* e2480 */, 1549 /* e2484 */, 3019 /* e2488 */, 7261 /* e2492 */,
4138 /* e2496 */, 6857 /* e2500 */, 4811 /* e2504 */, 1690 /* e2508 */,
7506 /* e2512 */, 6125 /* e2516 */, 2948 /* e2520 */, 7714 /* e2524 */,
796 /* e2528 */, 5455 /* e2532 */,    0 /* e2536 */, 1263 /* e2540 */,

/* 2**11264 =  */
3616 /* e   0 */, 5278 /* e   4 */,  374 /* e   8 */, 4862 /* e  12 */,
8174 /* e  16 */, 7061 /* e  20 */, 5924 /* e  24 */, 9687 /* e  28 */,
769 /* e  32 */, 4432 /* e  36 */, 2214 /* e  40 */, 9952 /* e  44 */,
5948 /* e  48 */, 6813 /* e  52 */, 7681 /* e  56 */,  398 /* e  60 */,
5020 /* e  64 */, 1044 /* e  68 */, 8504 /* e  72 */, 3735 /* e  76 */,
6243 /* e  80 */, 4312 /* e  84 */, 4653 /* e  88 */, 3935 /* e  92 */,
8412 /* e  96 */, 7005 /* e 100 */, 5688 /* e 104 */, 8730 /* e 108 */,
3166 /* e 112 */, 7938 /* e 116 */, 7297 /* e 120 */, 2952 /* e 124 */,
1453 /* e 128 */, 9740 /* e 132 */, 4993 /* e 136 */, 9757 /* e 140 */,
5368 /* e 144 */, 9157 /* e 148 */, 6363 /* e 152 */, 5847 /* e 156 */,
526 /* e 160 */, 5977 /* e 164 */, 3799 /* e 168 */, 4804 /* e 172 */,
6555 /* e 176 */, 9926 /* e 180 */,  723 /* e 184 */, 5082 /* e 188 */,
8812 /* e 192 */, 4041 /* e 196 */, 8715 /* e 200 */, 8931 /* e 204 */,
2552 /* e 208 */, 2728 /* e 212 */, 4521 /* e 216 */, 1826 /* e 220 */,
1129 /* e 224 */, 3813 /* e 228 */, 3521 /* e 232 */, 4028 /* e 236 */,
1667 /* e 240 */, 1240 /* e 244 */, 6022 /* e 248 */,  803 /* e 252 */,
7337 /* e 256 */, 9739 /* e 260 */, 4082 /* e 264 */, 1457 /* e 268 */,
3591 /* e 272 */, 7902 /* e 276 */, 9939 /* e 280 */, 1989 /* e 284 */,
7749 /* e 288 */, 2356 /* e 292 */, 7593 /* e 296 */, 8861 /* e 300 */,
1962 /* e 304 */,  378 /* e 308 */, 8141 /* e 312 */, 3729 /* e 316 */,
2073 /* e 320 */, 5994 /* e 324 */, 5221 /* e 328 */, 2669 /* e 332 */,
6276 /* e 336 */, 6725 /* e 340 */, 5053 /* e 344 */, 4818 /* e 348 */,
5469 /* e 352 */, 1294 /* e 356 */, 5550 /* e 360 */, 4535 /* e 364 */,
5655 /* e 368 */, 2314 /* e 372 */,  493 /* e 376 */, 8172 /* e 380 */,
9610 /* e 384 */, 1205 /* e 388 */, 3029 /* e 392 */,  885 /* e 396 */,
8229 /* e 400 */,  122 /* e 404 */, 3468 /* e 408 */, 6124 /* e 412 */,
2293 /* e 416 */,   80 /* e 420 */, 8333 /* e 424 */, 9804 /* e 428 */,
4983 /* e 432 */, 2864 /* e 436 */,   45 /* e 440 */, 4164 /* e 444 */,
3536 /* e 448 */, 2107 /* e 452 */, 7267 /* e 456 */, 6818 /* e 460 */,
701 /* e 464 */, 8481 /* e 468 */, 1127 /* e 472 */, 6500 /* e 476 */,
1905 /* e 480 */, 1183 /* e 484 */, 8300 /* e 488 */, 3277 /* e 492 */,
1612 /* e 496 */, 1145 /* e 500 */, 9095 /* e 504 */, 2498 /* e 508 */,
7613 /* e 512 */, 6386 /* e 516 */, 1170 /* e 520 */, 6064 /* e 524 */,
7645 /* e 528 */, 3592 /* e 532 */, 8011 /* e 536 */, 1914 /* e 540 */,
9722 /* e 544 */, 4893 /* e 548 */, 8910 /* e 552 */, 6344 /* e 556 */,
4205 /* e 560 */, 1140 /* e 564 */, 7421 /* e 568 */, 8981 /* e 572 */,
9880 /* e 576 */, 5385 /* e 580 */, 5238 /* e 584 */, 1431 /* e 588 */,
2390 /* e 592 */, 7183 /* e 596 */, 7211 /* e 600 */, 6577 /* e 604 */,
2569 /* e 608 */, 6593 /* e 612 */, 2076 /* e 616 */, 6553 /* e 620 */,
3980 /* e 624 */, 6304 /* e 628 */, 6281 /* e 632 */, 1650 /* e 636 */,
2201 /* e 640 */, 5089 /* e 644 */, 3428 /* e 648 */, 5484 /* e 652 */,
6856 /* e 656 */, 5748 /* e 660 */, 6658 /* e 664 */, 3774 /* e 668 */,
8214 /* e 672 */, 9763 /* e 676 */,  140 /* e 680 */,  783 /* e 684 */,
1426 /* e 688 */, 6028 /* e 692 */, 8496 /* e 696 */, 8007 /* e 700 */,
3368 /* e 704 */, 7101 /* e 708 */, 3158 /* e 712 */, 8383 /* e 716 */,
8982 /* e 720 */,  848 /* e 724 */, 4808 /* e 728 */, 9359 /* e 732 */,
6399 /* e 736 */, 5178 /* e 740 */, 8583 /* e 744 */, 7570 /* e 748 */,
1002 /* e 752 */, 4305 /* e 756 */, 5816 /* e 760 */, 2085 /* e 764 */,
6380 /* e 768 */,  570 /* e 772 */, 8472 /* e 776 */, 9153 /* e 780 */,
9114 /* e 784 */, 8603 /* e 788 */, 8300 /* e 792 */, 9148 /* e 796 */,
2307 /* e 800 */, 5724 /* e 804 */, 3482 /* e 808 */,  319 /* e 812 */,
2977 /* e 816 */, 5622 /* e 820 */, 3764 /* e 824 */, 4275 /* e 828 */,
6799 /* e 832 */, 4018 /* e 836 */, 1492 /* e 840 */, 5466 /* e 844 */,
9197 /* e 848 */, 6929 /* e 852 */,  682 /* e 856 */, 6754 /* e 860 */,
430 /* e 864 */, 3946 /* e 868 */, 9005 /* e 872 */, 6430 /* e 876 */,
8643 /* e 880 */, 3528 /* e 884 */, 8275 /* e 888 */, 4999 /* e 892 */,
9462 /* e 896 */, 3431 /* e 900 */, 6593 /* e 904 */, 1068 /* e 908 */,
2555 /* e 912 */, 6967 /* e 916 */, 1612 /* e 920 */,  333 /* e 924 */,
3215 /* e 928 */, 7738 /* e 932 */, 9794 /* e 936 */, 2967 /* e 940 */,
489 /* e 944 */, 5634 /* e 948 */, 2338 /* e 952 */, 3890 /* e 956 */,
7159 /* e 960 */, 4442 /* e 964 */, 3736 /* e 968 */, 8494 /* e 972 */,
3196 /* e 976 */, 4537 /* e 980 */, 5116 /* e 984 */, 7801 /* e 988 */,
1909 /* e 992 */, 5361 /* e 996 */, 3392 /* e1000 */, 5022 /* e1004 */,
1892 /* e1008 */, 2038 /* e1012 */, 9447 /* e1016 */, 1303 /* e1020 */,
2298 /* e1024 */, 2621 /* e1028 */, 6128 /* e1032 */, 4267 /* e1036 */,
1065 /* e1040 */, 5799 /* e1044 */, 5948 /* e1048 */,   69 /* e1052 */,
2071 /* e1056 */, 8544 /* e1060 */, 7829 /* e1064 */, 9379 /* e1068 */,
9222 /* e1072 */, 2278 /* e1076 */, 5272 /* e1080 */, 6052 /* e1084 */,
5439 /* e1088 */, 1468 /* e1092 */, 1722 /* e1096 */, 1455 /* e1100 */,
7840 /* e1104 */,  420 /* e1108 */, 4975 /* e1112 */, 9147 /* e1116 */,
8643 /* e1120 */, 6328 /* e1124 */,  569 /* e1128 */, 4371 /* e1132 */,
3450 /* e1136 */, 8433 /* e1140 */, 5882 /* e1144 */, 5681 /* e1148 */,
9249 /* e1152 */, 3155 /* e1156 */, 7083 /* e1160 */, 4825 /* e1164 */,
812 /* e1168 */, 5038 /* e1172 */, 9719 /* e1176 */, 4742 /* e1180 */,
7690 /* e1184 */, 2588 /* e1188 */, 2714 /* e1192 */, 9038 /* e1196 */,
1329 /* e1200 */, 9546 /* e1204 */, 1549 /* e1208 */, 8053 /* e1212 */,
7768 /* e1216 */, 6345 /* e1220 */, 7008 /* e1224 */, 9994 /* e1228 */,
5355 /* e1232 */, 3329 /* e1236 */, 8982 /* e1240 */, 5734 /* e1244 */,
6996 /* e1248 */, 2442 /* e1252 */, 7050 /* e1256 */, 1475 /* e1260 */,
2904 /* e1264 */, 2894 /* e1268 */,  465 /* e1272 */, 4741 /* e1276 */,
6045 /* e1280 */,  997 /* e1284 */, 7721 /* e1288 */, 7669 /* e1292 */,
7451 /* e1296 */, 9732 /* e1300 */, 6143 /* e1304 */, 9700 /* e1308 */,
4233 /* e1312 */,  100 /* e1316 */, 6470 /* e1320 */,  766 /* e1324 */,
6232 /* e1328 */, 5795 /* e1332 */, 3759 /* e1336 */, 1138 /* e1340 */,
9237 /* e1344 */, 9204 /* e1348 */, 1736 /* e1352 */, 7988 /* e1356 */,
2298 /* e1360 */, 1918 /* e1364 */, 4120 /* e1368 */,  318 /* e1372 */,
9033 /* e1376 */, 1529 /* e1380 */, 5661 /* e1384 */, 4727 /* e1388 */,
8862 /* e1392 */, 2242 /* e1396 */, 5622 /* e1400 */,  903 /* e1404 */,
1348 /* e1408 */, 2702 /* e1412 */, 4665 /* e1416 */, 6617 /* e1420 */,
2446 /* e1424 */, 3759 /* e1428 */, 2106 /* e1432 */, 9307 /* e1436 */,
7119 /* e1440 */, 6102 /* e1444 */, 5177 /* e1448 */, 9499 /* e1452 */,
6720 /* e1456 */, 4619 /* e1460 */, 2069 /* e1464 */,  640 /* e1468 */,
9911 /* e1472 */, 2684 /* e1476 */, 4415 /* e1480 */, 9184 /* e1484 */,
9962 /* e1488 */, 3391 /* e1492 */, 3816 /* e1496 */, 4045 /* e1500 */,
906 /* e1504 */, 6448 /* e1508 */, 7631 /* e1512 */, 5342 /* e1516 */,
1229 /* e1520 */, 7706 /* e1524 */, 7692 /* e1528 */, 9611 /* e1532 */,
5331 /* e1536 */, 3866 /* e1540 */, 6112 /* e1544 */, 3523 /* e1548 */,
7501 /* e1552 */, 3939 /* e1556 */, 6631 /* e1560 */,  571 /* e1564 */,
8474 /* e1568 */, 5954 /* e1572 */, 4794 /* e1576 */, 4458 /* e1580 */,
489 /* e1584 */, 8279 /* e1588 */, 7533 /* e1592 */, 8289 /* e1596 */,
8810 /* e1600 */, 9452 /* e1604 */, 2234 /* e1608 */, 3355 /* e1612 */,
3511 /* e1616 */, 4850 /* e1620 */, 6426 /* e1624 */, 4140 /* e1628 */,
208 /* e1632 */, 5879 /* e1636 */, 2402 /* e1640 */, 8415 /* e1644 */,
1111 /* e1648 */, 3742 /* e1652 */, 2407 /* e1656 */, 5133 /* e1660 */,
5632 /* e1664 */, 7598 /* e1668 */, 5458 /* e1672 */, 7986 /* e1676 */,
8557 /* e1680 */, 9559 /* e1684 */, 7922 /* e1688 */, 1849 /* e1692 */,
9855 /* e1696 */, 9368 /* e1700 */, 9789 /* e1704 */,  969 /* e1708 */,
2531 /* e1712 */,  252 /* e1716 */, 9897 /* e1720 */, 1982 /* e1724 */,
5264 /* e1728 */, 2722 /* e1732 */, 8164 /* e1736 */, 4662 /* e1740 */,
2555 /* e1744 */, 2364 /* e1748 */, 1948 /* e1752 */, 3016 /* e1756 */,
9099 /* e1760 */, 9049 /* e1764 */, 4005 /* e1768 */, 1897 /* e1772 */,
7001 /* e1776 */, 6530 /* e1780 */, 5304 /* e1784 */, 2201 /* e1788 */,
3507 /* e1792 */, 7924 /* e1796 */, 1625 /* e1800 */, 6995 /* e1804 */,
3944 /* e1808 */, 6141 /* e1812 */, 7873 /* e1816 */, 6447 /* e1820 */,
2463 /* e1824 */, 6195 /* e1828 */, 4202 /* e1832 */, 5452 /* e1836 */,
9858 /* e1840 */, 3486 /* e1844 */, 1696 /* e1848 */, 5178 /* e1852 */,
4226 /* e1856 */, 9350 /* e1860 */, 1763 /* e1864 */,  700 /* e1868 */,
7866 /* e1872 */, 7570 /* e1876 */, 2440 /* e1880 */, 2680 /* e1884 */,
2424 /* e1888 */, 8812 /* e1892 */, 7638 /* e1896 */, 3451 /* e1900 */,
9910 /* e1904 */,  399 /* e1908 */, 1851 /* e1912 */, 7837 /* e1916 */,
6545 /* e1920 */, 3110 /* e1924 */, 9905 /* e1928 */, 2505 /* e1932 */,
4262 /* e1936 */, 5743 /* e1940 */, 5497 /* e1944 */, 7940 /* e1948 */,
1911 /* e1952 */, 8520 /* e1956 */, 5898 /* e1960 */, 8609 /* e1964 */,
5709 /* e1968 */, 8041 /* e1972 */, 2068 /* e1976 */, 9642 /* e1980 */,
9272 /* e1984 */, 6509 /* e1988 */, 2174 /* e1992 */, 3310 /* e1996 */,
9424 /* e2000 */, 8889 /* e2004 */, 8810 /* e2008 */, 5390 /* e2012 */,
8121 /* e2016 */, 5985 /* e2020 */, 8406 /* e2024 */, 6740 /* e2028 */,
9243 /* e2032 */, 9121 /* e2036 */, 1304 /* e2040 */, 3989 /* e2044 */,
3430 /* e2048 */, 1073 /* e2052 */, 7465 /* e2056 */, 8236 /* e2060 */,
279 /* e2064 */, 4155 /* e2068 */, 6736 /* e2072 */, 1732 /* e2076 */,
2847 /* e2080 */,  956 /* e2084 */, 2667 /* e2088 */, 3426 /* e2092 */,
4440 /* e2096 */, 4482 /* e2100 */, 4641 /* e2104 */, 3180 /* e2108 */,
4842 /* e2112 */, 9823 /* e2116 */, 8270 /* e2120 */, 4858 /* e2124 */,
2601 /* e2128 */, 9642 /* e2132 */, 7257 /* e2136 */, 3971 /* e2140 */,
9192 /* e2144 */, 3839 /* e2148 */, 3812 /* e2152 */, 5945 /* e2156 */,
1509 /* e2160 */, 7237 /* e2164 */, 2170 /* e2168 */,  295 /* e2172 */,
2045 /* e2176 */, 8775 /* e2180 */,  485 /* e2184 */, 3263 /* e2188 */,
3840 /* e2192 */, 7092 /* e2196 */, 8059 /* e2200 */, 2773 /* e2204 */,
9532 /* e2208 */, 5680 /* e2212 */, 5612 /* e2216 */,  990 /* e2220 */,
8254 /* e2224 */, 1620 /* e2228 */, 5307 /* e2232 */, 3284 /* e2236 */,
517 /* e2240 */, 1869 /* e2244 */, 2268 /* e2248 */, 7030 /* e2252 */,
5711 /* e2256 */, 5481 /* e2260 */, 6405 /* e2264 */, 2199 /* e2268 */,
4230 /* e2272 */, 3727 /* e2276 */, 9408 /* e2280 */, 9099 /* e2284 */,
630 /* e2288 */,  279 /* e2292 */, 7345 /* e2296 */, 7042 /* e2300 */,
9483 /* e2304 */, 6052 /* e2308 */, 5056 /* e2312 */, 6649 /* e2316 */,
6218 /* e2320 */, 6124 /* e2324 */, 5175 /* e2328 */,  434 /* e2332 */,
1658 /* e2336 */, 5742 /* e2340 */, 4471 /* e2344 */, 4674 /* e2348 */,
4671 /* e2352 */, 7413 /* e2356 */, 9831 /* e2360 */, 6381 /* e2364 */,
6195 /* e2368 */, 7901 /* e2372 */, 9345 /* e2376 */, 5446 /* e2380 */,
8008 /* e2384 */, 7848 /* e2388 */, 1708 /* e2392 */, 2394 /* e2396 */,
9053 /* e2400 */, 1607 /* e2404 */, 7089 /* e2408 */, 7977 /* e2412 */,
1620 /* e2416 */, 3493 /* e2420 */, 8434 /* e2424 */, 5005 /* e2428 */,
3023 /* e2432 */, 9989 /* e2436 */, 9122 /* e2440 */, 4001 /* e2444 */,
836 /* e2448 */, 8232 /* e2452 */, 9344 /* e2456 */, 8279 /* e2460 */,
8242 /* e2464 */, 2768 /* e2468 */, 9504 /* e2472 */, 7478 /* e2476 */,
1895 /* e2480 */, 3391 /* e2484 */, 8241 /* e2488 */, 6162 /* e2492 */,
2510 /* e2496 */, 2178 /* e2500 */, 5254 /* e2504 */, 2609 /* e2508 */,
9268 /* e2512 */, 6379 /* e2516 */, 9762 /* e2520 */, 6526 /* e2524 */,
1820 /* e2528 */, 2554 /* e2532 */, 4616 /* e2536 */, 1757 /* e2540 */,
1234 /* e2544 */, 8827 /* e2548 */, 1967 /* e2552 */, 4238 /* e2556 */,
7838 /* e2560 */,  267 /* e2564 */, 6619 /* e2568 */, 8470 /* e2572 */,
2140 /* e2576 */, 2105 /* e2580 */, 8388 /* e2584 */, 6184 /* e2588 */,
9538 /* e2592 */, 8166 /* e2596 */, 6754 /* e2600 */, 7228 /* e2604 */,
6218 /* e2608 */, 9022 /* e2612 */, 1098 /* e2616 */, 4999 /* e2620 */,
4389 /* e2624 */,  592 /* e2628 */, 2674 /* e2632 */, 3075 /* e2636 */,
7989 /* e2640 */, 5049 /* e2644 */, 1152 /* e2648 */, 5662 /* e2652 */,
3796 /* e2656 */, 9398 /* e2660 */, 8698 /* e2664 */, 5785 /* e2668 */,
2897 /* e2672 */,  867 /* e2676 */, 9126 /* e2680 */,  312 /* e2684 */,
3650 /* e2688 */, 5419 /* e2692 */, 1498 /* e2696 */, 7181 /* e2700 */,
1295 /* e2704 */, 2708 /* e2708 */, 1777 /* e2712 */, 2849 /* e2716 */,
3763 /* e2720 */,  790 /* e2724 */,  494 /* e2728 */, 4131 /* e2732 */,
455 /* e2736 */, 1946 /* e2740 */, 8112 /* e2744 */, 2686 /* e2748 */,
5335 /* e2752 */, 3906 /* e2756 */, 6698 /* e2760 */, 9034 /* e2764 */,
2818 /* e2768 */, 1791 /* e2772 */,  893 /* e2776 */, 6207 /* e2780 */,
8300 /* e2784 */, 9589 /* e2788 */, 9771 /* e2792 */, 5393 /* e2796 */,
666 /* e2800 */, 2426 /* e2804 */, 7715 /* e2808 */, 7924 /* e2812 */,
4737 /* e2816 */, 3103 /* e2820 */, 4138 /* e2824 */, 5827 /* e2828 */,
7152 /* e2832 */, 1535 /* e2836 */, 9177 /* e2840 */, 5627 /* e2844 */,
1234 /* e2848 */, 8320 /* e2852 */, 7211 /* e2856 */, 2831 /* e2860 */,
1537 /* e2864 */, 7485 /* e2868 */, 9471 /* e2872 */, 2588 /* e2876 */,
1800 /* e2880 */, 3538 /* e2884 */, 6679 /* e2888 */, 8460 /* e2892 */,
8385 /* e2896 */, 9974 /* e2900 */, 3327 /* e2904 */, 1678 /* e2908 */,
9740 /* e2912 */, 5639 /* e2916 */, 2334 /* e2920 */, 7434 /* e2924 */,
4131 /* e2928 */,  198 /* e2932 */, 8662 /* e2936 */, 1565 /* e2940 */,
5672 /* e2944 */, 8578 /* e2948 */, 1134 /* e2952 */, 3205 /* e2956 */,
3281 /* e2960 */,  186 /* e2964 */, 7431 /* e2968 */, 4124 /* e2972 */,
5909 /* e2976 */,  259 /* e2980 */, 7340 /* e2984 */, 2500 /* e2988 */,
6160 /* e2992 */, 5836 /* e2996 */, 1740 /* e3000 */, 4019 /* e3004 */,
8584 /* e3008 */, 9621 /* e3012 */, 2371 /* e3016 */, 1801 /* e3020 */,
5462 /* e3024 */, 3940 /* e3028 */, 5979 /* e3032 */, 2489 /* e3036 */,
1315 /* e3040 */, 1092 /* e3044 */, 7423 /* e3048 */, 6368 /* e3052 */,
408 /* e3056 */,  865 /* e3060 */, 8193 /* e3064 */, 7667 /* e3068 */,
6293 /* e3072 */, 2615 /* e3076 */, 8779 /* e3080 */, 8650 /* e3084 */,
8979 /* e3088 */, 2208 /* e3092 */,  450 /* e3096 */, 1076 /* e3100 */,
8256 /* e3104 */, 2563 /* e3108 */, 2074 /* e3112 */, 1702 /* e3116 */,
8031 /* e3120 */,  629 /* e3124 */, 6862 /* e3128 */, 3360 /* e3132 */,
1338 /* e3136 */, 7458 /* e3140 */, 1247 /* e3144 */, 9953 /* e3148 */,
9370 /* e3152 */, 2806 /* e3156 */, 1113 /* e3160 */, 5499 /* e3164 */,
6988 /* e3168 */, 6223 /* e3172 */, 4620 /* e3176 */,  476 /* e3180 */,
4514 /* e3184 */, 4972 /* e3188 */, 1709 /* e3192 */, 5556 /* e3196 */,
7442 /* e3200 */, 6355 /* e3204 */, 1736 /* e3208 */, 8515 /* e3212 */,
1608 /* e3216 */, 3601 /* e3220 */, 1155 /* e3224 */, 5710 /* e3228 */,
1364 /* e3232 */, 4030 /* e3236 */, 9880 /* e3240 */, 5861 /* e3244 */,
5494 /* e3248 */, 5733 /* e3252 */, 5565 /* e3256 */, 9057 /* e3260 */,
4380 /* e3264 */, 6782 /* e3268 */, 2453 /* e3272 */, 3366 /* e3276 */,
5903 /* e3280 */, 5174 /* e3284 */, 8090 /* e3288 */, 5914 /* e3292 */,
2306 /* e3296 */, 4047 /* e3300 */, 4447 /* e3304 */, 3476 /* e3308 */,
2127 /* e3312 */, 2154 /* e3316 */, 5173 /* e3320 */, 7675 /* e3324 */,
5846 /* e3328 */, 5828 /* e3332 */, 5577 /* e3336 */,  371 /* e3340 */,
2140 /* e3344 */, 4199 /* e3348 */, 9096 /* e3352 */, 1158 /* e3356 */,
1394 /* e3360 */, 2347 /* e3364 */, 5280 /* e3368 */, 2889 /* e3372 */,
3316 /* e3376 */, 9081 /* e3380 */, 6816 /* e3384 */,  633 /* e3388 */,

/* 2**14080 =  */
6176 /* e   0 */,   14 /* e   4 */, 3861 /* e   8 */, 7717 /* e  12 */,
8184 /* e  16 */, 8495 /* e  20 */, 5733 /* e  24 */, 4458 /* e  28 */,
1278 /* e  32 */, 9068 /* e  36 */, 7846 /* e  40 */, 7741 /* e  44 */,
1748 /* e  48 */, 3386 /* e  52 */,  681 /* e  56 */, 1451 /* e  60 */,
2929 /* e  64 */,  775 /* e  68 */,  948 /* e  72 */, 6392 /* e  76 */,
7041 /* e  80 */, 8206 /* e  84 */, 9296 /* e  88 */, 2946 /* e  92 */,
3132 /* e  96 */, 1302 /* e 100 */, 4632 /* e 104 */, 2236 /* e 108 */,
6523 /* e 112 */, 9979 /* e 116 */, 1578 /* e 120 */, 7532 /* e 124 */,
4326 /* e 128 */, 9049 /* e 132 */,  250 /* e 136 */, 4785 /* e 140 */,
8626 /* e 144 */,  678 /* e 148 */, 2735 /* e 152 */, 3095 /* e 156 */,
4359 /* e 160 */, 4319 /* e 164 */, 9393 /* e 168 */, 2408 /* e 172 */,
7128 /* e 176 */, 3699 /* e 180 */,  847 /* e 184 */,  310 /* e 188 */,
3402 /* e 192 */,  691 /* e 196 */, 8905 /* e 200 */, 3292 /* e 204 */,
5748 /* e 208 */, 2141 /* e 212 */, 9499 /* e 216 */, 2654 /* e 220 */,
9508 /* e 224 */, 2701 /* e 228 */, 4489 /* e 232 */, 8525 /* e 236 */,
2733 /* e 240 */, 1595 /* e 244 */, 5940 /* e 248 */, 6571 /* e 252 */,
9231 /* e 256 */,  464 /* e 260 */, 9866 /* e 264 */, 5666 /* e 268 */,
4567 /* e 272 */, 4899 /* e 276 */, 6143 /* e 280 */, 2368 /* e 284 */,
6942 /* e 288 */, 1766 /* e 292 */, 6238 /* e 296 */, 7427 /* e 300 */,
722 /* e 304 */, 5729 /* e 308 */, 1104 /* e 312 */, 9421 /* e 316 */,
6785 /* e 320 */, 4901 /* e 324 */, 2075 /* e 328 */, 1326 /* e 332 */,
836 /* e 336 */, 1473 /* e 340 */,  978 /* e 344 */,  598 /* e 348 */,
5382 /* e 352 */, 2954 /* e 356 */,  819 /* e 360 */,  226 /* e 364 */,
6428 /* e 368 */, 2242 /* e 372 */,  845 /* e 376 */, 7043 /* e 380 */,
8648 /* e 384 */, 9659 /* e 388 */,  547 /* e 392 */, 7528 /* e 396 */,
5327 /* e 400 */, 5487 /* e 404 */, 7640 /* e 408 */, 5154 /* e 412 */,
2551 /* e 416 */, 2877 /* e 420 */,  301 /* e 424 */, 2057 /* e 428 */,
3362 /* e 432 */, 8750 /* e 436 */, 4135 /* e 440 */, 1662 /* e 444 */,
9842 /* e 448 */, 9217 /* e 452 */, 2660 /* e 456 */, 8153 /* e 460 */,
2055 /* e 464 */, 1316 /* e 468 */, 4712 /* e 472 */, 6353 /* e 476 */,
5116 /* e 480 */, 2529 /* e 484 */, 3233 /* e 488 */, 4281 /* e 492 */,
1829 /* e 496 */,   82 /* e 500 */, 9149 /* e 504 */, 5686 /* e 508 */,
9872 /* e 512 */, 1079 /* e 516 */,  984 /* e 520 */,  867 /* e 524 */,
3347 /* e 528 */, 1403 /* e 532 */, 8398 /* e 536 */, 9925 /* e 540 */,
4012 /* e 544 */, 7803 /* e 548 */,  282 /* e 552 */, 4127 /* e 556 */,
546 /* e 560 */, 9839 /* e 564 */, 8975 /* e 568 */, 1000 /* e 572 */,
5183 /* e 576 */, 4415 /* e 580 */, 3928 /* e 584 */, 7934 /* e 588 */,
4356 /* e 592 */, 1792 /* e 596 */, 1225 /* e 600 */, 7552 /* e 604 */,
6405 /* e 608 */, 6462 /* e 612 */, 7824 /* e 616 */, 1631 /* e 620 */,
370 /* e 624 */, 7948 /* e 628 */, 2974 /* e 632 */, 3268 /* e 636 */,
2557 /* e 640 */, 3660 /* e 644 */, 6298 /* e 648 */, 6034 /* e 652 */,
3212 /* e 656 */, 5390 /* e 660 */, 9950 /* e 664 */, 4798 /* e 668 */,
533 /* e 672 */, 3434 /* e 676 */, 1154 /* e 680 */, 6351 /* e 684 */,
3349 /* e 688 */, 8768 /* e 692 */, 8751 /* e 696 */, 9231 /* e 700 */,
9926 /* e 704 */, 5076 /* e 708 */,  819 /* e 712 */, 1086 /* e 716 */,
2204 /* e 720 */, 6542 /* e 724 */, 4887 /* e 728 */, 9428 /* e 732 */,
7480 /* e 736 */, 7424 /* e 740 */, 4161 /* e 744 */, 6002 /* e 748 */,
9683 /* e 752 */, 9330 /* e 756 */, 9820 /* e 760 */, 2223 /* e 764 */,
5534 /* e 768 */,   73 /* e 772 */, 1196 /* e 776 */, 4395 /* e 780 */,
8186 /* e 784 */, 2004 /* e 788 */, 1009 /* e 792 */, 1946 /* e 796 */,
8984 /* e 800 */, 5464 /* e 804 */, 6321 /* e 808 */,  226 /* e 812 */,
1460 /* e 816 */, 7630 /* e 820 */,  923 /* e 824 */, 2623 /* e 828 */,
459 /* e 832 */, 6256 /* e 836 */,  806 /* e 840 */, 7363 /* e 844 */,
4909 /* e 848 */, 6149 /* e 852 */, 9125 /* e 856 */, 4187 /* e 860 */,
7428 /* e 864 */, 4368 /* e 868 */, 9402 /* e 872 */, 4220 /* e 876 */,
4343 /* e 880 */, 6591 /* e 884 */, 3698 /* e 888 */, 4184 /* e 892 */,
2347 /* e 896 */, 5795 /* e 900 */, 1315 /* e 904 */, 3411 /* e 908 */,
3811 /* e 912 */,   78 /* e 916 */, 7269 /* e 920 */, 9256 /* e 924 */,
8002 /* e 928 */,  483 /* e 932 */, 7013 /* e 936 */, 6053 /* e 940 */,
1744 /* e 944 */, 9927 /* e 948 */, 1575 /* e 952 */, 6167 /* e 956 */,
2256 /* e 960 */, 4116 /* e 964 */, 9526 /* e 968 */, 8434 /* e 972 */,
779 /* e 976 */, 1148 /* e 980 */, 2850 /* e 984 */,  475 /* e 988 */,
6639 /* e 992 */, 2940 /* e 996 */, 6508 /* e1000 */, 9263 /* e1004 */,
8673 /* e1008 */, 1258 /* e1012 */, 9756 /* e1016 */,  267 /* e1020 */,
8853 /* e1024 */, 6509 /* e1028 */, 4199 /* e1032 */, 1329 /* e1036 */,
4289 /* e1040 */, 4346 /* e1044 */, 8512 /* e1048 */, 6695 /* e1052 */,
826 /* e1056 */, 5332 /* e1060 */, 6516 /* e1064 */,    2 /* e1068 */,
1170 /* e1072 */, 1873 /* e1076 */, 6094 /* e1080 */,  853 /* e1084 */,
4229 /* e1088 */, 4752 /* e1092 */, 7504 /* e1096 */, 3574 /* e1100 */,
1397 /* e1104 */, 8628 /* e1108 */, 8992 /* e1112 */, 9891 /* e1116 */,
1912 /* e1120 */, 4957 /* e1124 */, 6627 /* e1128 */, 5224 /* e1132 */,
9958 /* e1136 */, 9890 /* e1140 */, 9046 /* e1144 */, 3229 /* e1148 */,
2143 /* e1152 */, 6295 /* e1156 */, 2332 /* e1160 */, 1627 /* e1164 */,
5501 /* e1168 */, 6061 /* e1172 */, 5678 /* e1176 */, 5638 /* e1180 */,
6330 /* e1184 */, 5671 /* e1188 */, 6741 /* e1192 */,  129 /* e1196 */,
3281 /* e1200 */, 8783 /* e1204 */, 6456 /* e1208 */,  532 /* e1212 */,
64 /* e1216 */, 5761 /* e1220 */, 9912 /* e1224 */, 4141 /* e1228 */,
3649 /* e1232 */, 8756 /* e1236 */, 1743 /* e1240 */, 9494 /* e1244 */,
5300 /* e1248 */, 2498 /* e1252 */, 3458 /* e1256 */, 4915 /* e1260 */,
6356 /* e1264 */, 7716 /* e1268 */, 1217 /* e1272 */, 5340 /* e1276 */,
6822 /* e1280 */, 6869 /* e1284 */, 1597 /* e1288 */, 2453 /* e1292 */,
8189 /* e1296 */, 4908 /* e1300 */, 2370 /* e1304 */, 7455 /* e1308 */,
1214 /* e1312 */, 2475 /* e1316 */, 9263 /* e1320 */, 1755 /* e1324 */,
2902 /* e1328 */, 7549 /* e1332 */, 6262 /* e1336 */, 9380 /* e1340 */,
627 /* e1344 */, 5445 /* e1348 */, 9325 /* e1352 */, 6391 /* e1356 */,
8941 /* e1360 */, 5852 /* e1364 */, 4423 /* e1368 */, 4906 /* e1372 */,
3339 /* e1376 */, 4762 /* e1380 */, 2472 /* e1384 */, 2268 /* e1388 */,
4203 /* e1392 */, 7037 /* e1396 */,  458 /* e1400 */,  544 /* e1404 */,
328 /* e1408 */, 8619 /* e1412 */, 7957 /* e1416 */,  912 /* e1420 */,
3352 /* e1424 */, 9591 /* e1428 */, 2280 /* e1432 */, 8717 /* e1436 */,
6109 /* e1440 */, 1506 /* e1444 */, 4219 /* e1448 */, 6575 /* e1452 */,
5169 /* e1456 */, 1476 /* e1460 */, 1090 /* e1464 */, 6629 /* e1468 */,
173 /* e1472 */, 7390 /* e1476 */,  440 /* e1480 */, 9841 /* e1484 */,
4912 /* e1488 */, 2667 /* e1492 */, 7815 /* e1496 */, 8097 /* e1500 */,
9982 /* e1504 */, 7618 /* e1508 */, 2454 /* e1512 */, 5155 /* e1516 */,
9293 /* e1520 */,  851 /* e1524 */, 7501 /* e1528 */, 4453 /* e1532 */,
712 /* e1536 */, 5888 /* e1540 */, 8686 /* e1544 */, 5161 /* e1548 */,
9629 /* e1552 */, 1557 /* e1556 */, 9376 /* e1560 */, 3703 /* e1564 */,
9600 /* e1568 */, 2760 /* e1572 */, 3399 /* e1576 */, 9990 /* e1580 */,
6296 /* e1584 */, 4447 /* e1588 */, 7355 /* e1592 */, 3456 /* e1596 */,
180 /* e1600 */,   45 /* e1604 */,  913 /* e1608 */, 3201 /* e1612 */,
1161 /* e1616 */, 1869 /* e1620 */, 6238 /* e1624 */, 4151 /* e1628 */,
6764 /* e1632 */, 5302 /* e1636 */, 9015 /* e1640 */, 5759 /* e1644 */,
6164 /* e1648 */, 2762 /* e1652 */, 9723 /* e1656 */, 7354 /* e1660 */,
7709 /* e1664 */, 4897 /* e1668 */, 6590 /* e1672 */, 8748 /* e1676 */,
9416 /* e1680 */, 2168 /* e1684 */, 5123 /* e1688 */, 9631 /* e1692 */,
8338 /* e1696 */, 5462 /* e1700 */, 7839 /* e1704 */, 8367 /* e1708 */,
5384 /* e1712 */, 4680 /* e1716 */,  928 /* e1720 */, 4888 /* e1724 */,
923 /* e1728 */, 4262 /* e1732 */, 4678 /* e1736 */, 3608 /* e1740 */,
20 /* e1744 */, 7879 /* e1748 */, 6592 /* e1752 */, 6290 /* e1756 */,
3437 /* e1760 */, 9847 /* e1764 */, 2902 /* e1768 */, 2166 /* e1772 */,
5761 /* e1776 */,  438 /* e1780 */, 7947 /* e1784 */, 8221 /* e1788 */,
7083 /* e1792 */, 7182 /* e1796 */, 2753 /* e1800 */, 8700 /* e1804 */,
7047 /* e1808 */, 1091 /* e1812 */, 1660 /* e1816 */,   58 /* e1820 */,
268 /* e1824 */,  764 /* e1828 */, 7443 /* e1832 */, 8680 /* e1836 */,
4063 /* e1840 */, 4895 /* e1844 */, 8810 /* e1848 */, 9446 /* e1852 */,
1992 /* e1856 */, 4617 /* e1860 */, 8408 /* e1864 */, 4267 /* e1868 */,
2438 /* e1872 */, 7607 /* e1876 */, 7058 /* e1880 */, 3697 /* e1884 */,
3396 /* e1888 */, 2517 /* e1892 */, 2809 /* e1896 */, 8814 /* e1900 */,
1110 /* e1904 */, 9093 /* e1908 */, 1696 /* e1912 */, 9580 /* e1916 */,
7600 /* e1920 */, 4136 /* e1924 */, 6575 /* e1928 */, 8769 /* e1932 */,
5380 /* e1936 */, 7024 /* e1940 */, 2913 /* e1944 */, 3841 /* e1948 */,
901 /* e1952 */, 8925 /* e1956 */, 6494 /* e1960 */, 3000 /* e1964 */,
7083 /* e1968 */, 4692 /* e1972 */, 2855 /* e1976 */, 2149 /* e1980 */,
3785 /* e1984 */, 4633 /* e1988 */, 4231 /* e1992 */, 4430 /* e1996 */,
245 /* e2000 */, 5596 /* e2004 */, 8422 /* e2008 */, 6801 /* e2012 */,
9581 /* e2016 */,  470 /* e2020 */, 4620 /* e2024 */, 1955 /* e2028 */,
9748 /* e2032 */, 5173 /* e2036 */,  743 /* e2040 */, 5821 /* e2044 */,
2549 /* e2048 */, 2064 /* e2052 */, 2380 /* e2056 */, 6023 /* e2060 */,
3096 /* e2064 */,  559 /* e2068 */, 2544 /* e2072 */, 2931 /* e2076 */,
4103 /* e2080 */, 3925 /* e2084 */, 3625 /* e2088 */, 5924 /* e2092 */,
8495 /* e2096 */, 3625 /* e2100 */, 3335 /* e2104 */, 4017 /* e2108 */,
631 /* e2112 */, 2920 /* e2116 */, 7316 /* e2120 */, 5867 /* e2124 */,
2496 /* e2128 */, 2275 /* e2132 */, 9350 /* e2136 */, 6397 /* e2140 */,
4402 /* e2144 */, 9248 /* e2148 */, 2921 /* e2152 */, 7863 /* e2156 */,
89 /* e2160 */,  316 /* e2164 */,  389 /* e2168 */, 3866 /* e2172 */,
9308 /* e2176 */, 3105 /* e2180 */, 9586 /* e2184 */, 5228 /* e2188 */,
405 /* e2192 */, 6313 /* e2196 */,  151 /* e2200 */, 8103 /* e2204 */,
3725 /* e2208 */,  561 /* e2212 */,  732 /* e2216 */, 5087 /* e2220 */,
4645 /* e2224 */, 1499 /* e2228 */, 1900 /* e2232 */, 5818 /* e2236 */,
3089 /* e2240 */, 8979 /* e2244 */, 2065 /* e2248 */, 3519 /* e2252 */,
7819 /* e2256 */, 6905 /* e2260 */, 6044 /* e2264 */, 5347 /* e2268 */,
7785 /* e2272 */, 5304 /* e2276 */, 1332 /* e2280 */, 6811 /* e2284 */,
7552 /* e2288 */, 2402 /* e2292 */, 6384 /* e2296 */, 6230 /* e2300 */,
2287 /* e2304 */, 1286 /* e2308 */, 3285 /* e2312 */, 7295 /* e2316 */,
5851 /* e2320 */, 9892 /* e2324 */, 8971 /* e2328 */, 7160 /* e2332 */,
8405 /* e2336 */, 9325 /* e2340 */, 3714 /* e2344 */, 8714 /* e2348 */,
6701 /* e2352 */, 6183 /* e2356 */, 3109 /* e2360 */, 6177 /* e2364 */,
4112 /* e2368 */, 5873 /* e2372 */, 8895 /* e2376 */, 6676 /* e2380 */,
1422 /* e2384 */,  244 /* e2388 */, 9362 /* e2392 */,  561 /* e2396 */,
9129 /* e2400 */, 8368 /* e2404 */, 5768 /* e2408 */, 1073 /* e2412 */,
3504 /* e2416 */, 3255 /* e2420 */,  669 /* e2424 */, 3958 /* e2428 */,
7382 /* e2432 */,  316 /* e2436 */, 1312 /* e2440 */, 8758 /* e2444 */,
2695 /* e2448 */,  483 /* e2452 */, 3601 /* e2456 */,  207 /* e2460 */,
6445 /* e2464 */, 5117 /* e2468 */, 7221 /* e2472 */, 1398 /* e2476 */,
2926 /* e2480 */, 4306 /* e2484 */, 7873 /* e2488 */, 8636 /* e2492 */,
9627 /* e2496 */, 1908 /* e2500 */, 9557 /* e2504 */, 1036 /* e2508 */,
9198 /* e2512 */, 7904 /* e2516 */,  119 /* e2520 */, 3793 /* e2524 */,
3800 /* e2528 */, 4620 /* e2532 */, 5010 /* e2536 */, 7182 /* e2540 */,
1562 /* e2544 */, 8544 /* e2548 */, 1843 /* e2552 */, 6717 /* e2556 */,
54 /* e2560 */, 8787 /* e2564 */, 4766 /* e2568 */, 5880 /* e2572 */,
648 /* e2576 */, 3331 /* e2580 */, 8034 /* e2584 */, 3383 /* e2588 */,
8374 /* e2592 */, 2510 /* e2596 */,  849 /* e2600 */, 7426 /* e2604 */,
6845 /* e2608 */, 4247 /* e2612 */,  999 /* e2616 */, 3771 /* e2620 */,
8289 /* e2624 */, 6960 /* e2628 */, 4446 /* e2632 */, 1874 /* e2636 */,
7999 /* e2640 */, 9821 /* e2644 */, 7441 /* e2648 */, 5555 /* e2652 */,
1992 /* e2656 */, 9471 /* e2660 */, 7461 /* e2664 */, 2665 /* e2668 */,
8562 /* e2672 */, 5612 /* e2676 */, 5808 /* e2680 */, 6921 /* e2684 */,
5218 /* e2688 */, 4194 /* e2692 */, 6732 /* e2696 */, 1644 /* e2700 */,
2794 /* e2704 */, 3862 /* e2708 */, 7199 /* e2712 */, 3795 /* e2716 */,
6207 /* e2720 */, 9205 /* e2724 */, 9009 /* e2728 */, 7448 /* e2732 */,
6554 /* e2736 */, 1918 /* e2740 */, 8029 /* e2744 */, 1475 /* e2748 */,
9091 /* e2752 */, 4595 /* e2756 */, 9189 /* e2760 */, 8918 /* e2764 */,
6437 /* e2768 */, 7541 /* e2772 */, 9385 /* e2776 */, 4148 /* e2780 */,
4128 /* e2784 */, 7616 /* e2788 */, 2204 /* e2792 */, 7289 /* e2796 */,
2368 /* e2800 */, 9931 /* e2804 */, 1152 /* e2808 */, 7511 /* e2812 */,
3318 /* e2816 */, 3525 /* e2820 */,  978 /* e2824 */, 3044 /* e2828 */,
3427 /* e2832 */, 4866 /* e2836 */, 3592 /* e2840 */, 6455 /* e2844 */,
683 /* e2848 */, 2061 /* e2852 */, 5455 /* e2856 */, 4732 /* e2860 */,
5469 /* e2864 */, 1181 /* e2868 */, 6069 /* e2872 */, 6208 /* e2876 */,
8944 /* e2880 */, 1245 /* e2884 */,  329 /* e2888 */,  302 /* e2892 */,
828 /* e2896 */,  930 /* e2900 */, 6794 /* e2904 */, 1430 /* e2908 */,
4662 /* e2912 */, 5959 /* e2916 */, 7208 /* e2920 */, 7788 /* e2924 */,
995 /* e2928 */, 5894 /* e2932 */, 8616 /* e2936 */, 2471 /* e2940 */,
4056 /* e2944 */, 7757 /* e2948 */,  362 /* e2952 */, 2609 /* e2956 */,
747 /* e2960 */, 5154 /* e2964 */, 3339 /* e2968 */,  725 /* e2972 */,
5694 /* e2976 */, 9337 /* e2980 */, 1952 /* e2984 */, 8738 /* e2988 */,
8667 /* e2992 */,  810 /* e2996 */, 3380 /* e3000 */, 7400 /* e3004 */,
9471 /* e3008 */, 8386 /* e3012 */,  886 /* e3016 */, 6135 /* e3020 */,
7490 /* e3024 */,  231 /* e3028 */, 2459 /* e3032 */,  324 /* e3036 */,
3276 /* e3040 */, 4038 /* e3044 */, 3313 /* e3048 */,  847 /* e3052 */,
5175 /* e3056 */, 8738 /* e3060 */,  574 /* e3064 */, 8686 /* e3068 */,
9717 /* e3072 */, 2629 /* e3076 */, 5276 /* e3080 */, 6947 /* e3084 */,
5278 /* e3088 */, 1420 /* e3092 */, 7098 /* e3096 */, 9071 /* e3100 */,
2854 /* e3104 */,  855 /* e3108 */, 2339 /* e3112 */, 9732 /* e3116 */,
5707 /* e3120 */, 4445 /* e3124 */, 2632 /* e3128 */, 3914 /* e3132 */,
5661 /* e3136 */,  748 /* e3140 */, 2222 /* e3144 */, 5061 /* e3148 */,
9918 /* e3152 */, 9512 /* e3156 */, 2256 /* e3160 */, 4168 /* e3164 */,
6565 /* e3168 */, 4093 /* e3172 */, 1319 /* e3176 */,   14 /* e3180 */,
8900 /* e3184 */, 6524 /* e3188 */,  431 /* e3192 */, 6912 /* e3196 */,
149 /* e3200 */, 7477 /* e3204 */, 8441 /* e3208 */, 7704 /* e3212 */,
3161 /* e3216 */, 8472 /* e3220 */, 3719 /* e3224 */, 6146 /* e3228 */,
2936 /* e3232 */, 7663 /* e3236 */,  563 /* e3240 */, 3344 /* e3244 */,
9811 /* e3248 */, 3109 /* e3252 */, 6319 /* e3256 */, 8906 /* e3260 */,
9472 /* e3264 */, 1499 /* e3268 */, 8108 /* e3272 */, 5625 /* e3276 */,
1919 /* e3280 */, 5516 /* e3284 */, 3587 /* e3288 */, 8068 /* e3292 */,
7859 /* e3296 */, 4097 /* e3300 */, 5349 /* e3304 */, 7738 /* e3308 */,
2861 /* e3312 */,  383 /* e3316 */, 9379 /* e3320 */, 8279 /* e3324 */,
1035 /* e3328 */,  255 /* e3332 */, 2366 /* e3336 */, 2460 /* e3340 */,
783 /* e3344 */, 8832 /* e3348 */, 9436 /* e3352 */, 6887 /* e3356 */,
1077 /* e3360 */, 6080 /* e3364 */, 6255 /* e3368 */, 4204 /* e3372 */,
4921 /* e3376 */, 9086 /* e3380 */, 5018 /* e3384 */, 7755 /* e3388 */,
8776 /* e3392 */, 9688 /* e3396 */, 5093 /* e3400 */, 7260 /* e3404 */,
4139 /* e3408 */, 2374 /* e3412 */, 5357 /* e3416 */, 5824 /* e3420 */,
2839 /* e3424 */, 7791 /* e3428 */, 4931 /* e3432 */, 5468 /* e3436 */,
3870 /* e3440 */, 1522 /* e3444 */, 8144 /* e3448 */, 9185 /* e3452 */,
2300 /* e3456 */, 6332 /* e3460 */, 7758 /* e3464 */, 2058 /* e3468 */,
8158 /* e3472 */, 3714 /* e3476 */, 1712 /* e3480 */, 4015 /* e3484 */,
7244 /* e3488 */, 8907 /* e3492 */, 5207 /* e3496 */, 4947 /* e3500 */,
4694 /* e3504 */, 7323 /* e3508 */, 3624 /* e3512 */, 8079 /* e3516 */,
6936 /* e3520 */, 4531 /* e3524 */, 7561 /* e3528 */, 5731 /* e3532 */,
642 /* e3536 */, 9443 /* e3540 */, 7894 /* e3544 */, 4576 /* e3548 */,
7662 /* e3552 */, 1573 /* e3556 */, 6879 /* e3560 */, 2182 /* e3564 */,
9248 /* e3568 */, 5783 /* e3572 */, 5030 /* e3576 */, 3170 /* e3580 */,
2714 /* e3584 */, 8639 /* e3588 */, 1370 /* e3592 */, 3855 /* e3596 */,
6553 /* e3600 */, 8693 /* e3604 */, 9608 /* e3608 */, 2222 /* e3612 */,
6816 /* e3616 */, 4934 /* e3620 */, 3716 /* e3624 */, 2624 /* e3628 */,
3317 /* e3632 */, 7241 /* e3636 */, 2927 /* e3640 */, 4217 /* e3644 */,
8720 /* e3648 */, 6855 /* e3652 */, 4332 /* e3656 */, 9975 /* e3660 */,
3323 /* e3664 */, 9666 /* e3668 */, 5674 /* e3672 */,  839 /* e3676 */,
1346 /* e3680 */, 2176 /* e3684 */, 5171 /* e3688 */, 6107 /* e3692 */,
1079 /* e3696 */, 5009 /* e3700 */, 2857 /* e3704 */, 8499 /* e3708 */,
7020 /* e3712 */, 5657 /* e3716 */, 6602 /* e3720 */, 1590 /* e3724 */,
4486 /* e3728 */, 6208 /* e3732 */, 9825 /* e3736 */, 3055 /* e3740 */,
9130 /* e3744 */, 1758 /* e3748 */, 6040 /* e3752 */, 2830 /* e3756 */,
1117 /* e3760 */, 5241 /* e3764 */,  630 /* e3768 */, 4424 /* e3772 */,
8729 /* e3776 */, 1834 /* e3780 */, 5204 /* e3784 */, 1580 /* e3788 */,
6077 /* e3792 */, 1739 /* e3796 */, 9031 /* e3800 */, 8660 /* e3804 */,
5416 /* e3808 */, 1540 /* e3812 */, 3180 /* e3816 */, 5129 /* e3820 */,
8907 /* e3824 */, 6798 /* e3828 */, 5265 /* e3832 */, 6654 /* e3836 */,
9041 /* e3840 */, 9672 /* e3844 */,    3 /* e3848 */, 3191 /* e3852 */,
4289 /* e3856 */, 6077 /* e3860 */, 5409 /* e3864 */, 4391 /* e3868 */,
2572 /* e3872 */, 4194 /* e3876 */, 3334 /* e3880 */,  257 /* e3884 */,
7290 /* e3888 */, 3028 /* e3892 */,  105 /* e3896 */, 6159 /* e3900 */,
2295 /* e3904 */, 3936 /* e3908 */, 5581 /* e3912 */, 3006 /* e3916 */,
5066 /* e3920 */,   23 /* e3924 */, 4170 /* e3928 */, 3383 /* e3932 */,
2410 /* e3936 */, 6312 /* e3940 */,  929 /* e3944 */, 4663 /* e3948 */,
9452 /* e3952 */, 7196 /* e3956 */, 2746 /* e3960 */, 2233 /* e3964 */,
4371 /* e3968 */, 6091 /* e3972 */,   16 /* e3976 */, 3085 /* e3980 */,
773 /* e3984 */, 6318 /* e3988 */,  183 /* e3992 */, 5889 /* e3996 */,
5010 /* e4000 */, 5232 /* e4004 */, 7354 /* e4008 */,  858 /* e4012 */,
7503 /* e4016 */, 5657 /* e4020 */, 3147 /* e4024 */, 1786 /* e4028 */,
6075 /* e4032 */, 5546 /* e4036 */, 6059 /* e4040 */, 5911 /* e4044 */,
1925 /* e4048 */, 4290 /* e4052 */, 1399 /* e4056 */, 5483 /* e4060 */,
756 /* e4064 */, 3424 /* e4068 */, 1816 /* e4072 */,  925 /* e4076 */,
5494 /* e4080 */, 6020 /* e4084 */,  462 /* e4088 */, 1097 /* e4092 */,
4109 /* e4096 */, 3695 /* e4100 */, 9985 /* e4104 */, 2319 /* e4108 */,
3068 /* e4112 */, 7202 /* e4116 */, 1222 /* e4120 */, 8895 /* e4124 */,
8360 /* e4128 */, 4308 /* e4132 */, 1666 /* e4136 */, 7831 /* e4140 */,
6913 /* e4144 */, 5400 /* e4148 */, 6107 /* e4152 */, 8104 /* e4156 */,
9653 /* e4160 */, 6384 /* e4164 */, 9736 /* e4168 */, 4641 /* e4172 */,
7651 /* e4176 */, 5778 /* e4180 */, 3792 /* e4184 */, 2268 /* e4188 */,
2690 /* e4192 */, 4757 /* e4196 */, 6184 /* e4200 */, 8329 /* e4204 */,
2712 /* e4208 */, 5805 /* e4212 */, 8661 /* e4216 */, 6875 /* e4220 */,
7356 /* e4224 */, 4570 /* e4228 */, 9354 /* e4232 */,  317 /* e4236 */,

0};

/* table of starting indexes into previous table  */
const unsigned short __tbl_2_huge_start [] = {
0, 1, 213, 637, 1273, 2121, 3181, 0};
